NSF PAR Search | NSF Public Access Repository

Characterizing Schwarz maps by tracial inequalities

https://doi.org/10.1007/s11005-023-01636-4

Carlen, Eric; Müller-Hermes, Alexander (February 2023, Letters in Mathematical Physics)

Abstract Let$$\phi $$

ϕ

be a positive map from the$$n\times n$$

n \times n

matrices$$\mathcal {M}_n$$

M_{n}

to the$$m\times m$$

m \times m

matrices$$\mathcal {M}_m$$

M_{m}

. It is known that$$\phi $$

ϕ

is 2-positive if and only if for all$$K\in \mathcal {M}_n$$

K \in M_{n}

and all strictly positive$$X\in \mathcal {M}_n$$

X \in M_{n}

,$$\phi (K^*X^{-1}K) \geqslant \phi (K)^*\phi (X)^{-1}\phi (K)$$

ϕ (K^{*} X^{- 1} K) ⩾ ϕ {(K)}^{*} ϕ {(X)}^{- 1} ϕ (K)

. This inequality is not generally true if$$\phi $$

ϕ

is merely a Schwarz map. We show that the corresponding tracial inequality$${{\,\textrm{Tr}\,}}[\phi (K^*X^{-1}K)] \geqslant {{\,\textrm{Tr}\,}}[\phi (K)^*\phi (X)^{-1}\phi (K)]$$

Tr [ϕ (K^{*} X^{- 1} K)] ⩾ Tr [ϕ {(K)}^{*} ϕ {(X)}^{- 1} ϕ (K)]

holds for a wider class of positive maps that is specified here. We also comment on the connections of this inequality with various monotonicity statements that have found wide use in mathematical physics, and apply it, and a close relative, to obtain some new, definitive results.

Search for: All records